🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·5h
📼Tape Combinators
The Ancient History of Compression Algorithms
cs4fn.org·1h·
Discuss: Hacker News
📊Compression Proofs
Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·14h·
Discuss: www.blogger.com
📐Linear Algebra
A Catalan question
cameroncounts.wordpress.com·20h
λLambda Encodings
実務で使っているClaude Codeの開発環境の紹介
zenn.dev·3h
🇯🇵Japanese Computing
Double Maths First Thing: Issue 2C
aperiodical.com·1d
🔬Lean
Book review: A New Kind of Science (2005)
bactra.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Wayback Becomes Part of FreeDesktop.org Ecosystem
linuxiac.com·25m
🦋Format Evolution
Ente web - State of the Union 2025
ente.io·1d
🎯Gradual Typing
Struggling with light weight audio routing container
i.redd.it·3h·
Discuss: r/homelab
🎞️MKV Internals
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·11h·
Discuss: Hacker News
🔍RegEx Engines
Lecture series on the philosophy of mathematics
jdh.hamkins.org·22h
⚔️Lean Theorem
Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec
database-doctor.com·11h·
Discuss: Hacker News
🔧KAITAI
Helpful function to find memory leaks in JavaScript
news.ycombinator.com·3h·
Discuss: Hacker News
🎯Gradual Typing
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·2d·
Discuss: Hacker News
📐Interval Arithmetic
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·11h·
Discuss: Hacker News
🔬Binary Analysis
An Interactive Introduction to Probabilistic Data Linkage/Deduplication
robinlinacre.com·1d·
Discuss: Hacker News
🌸Bloom Variants
🐍 My Python Journey: Week 3 – The Realm of Operators
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Superimposed codes, take two
blog.sesse.net·1d
🔢Bitwise Algorithms
Show HN: Petrichor – a free, open-source, offline music player for macOS
github.com·11h·
Discuss: Hacker News
🏺ZIP Archaeology